Expressive map design: OGC SLD/SE++ extension for expressive map styles

An Expressive Extension of TLC

A temporal logic of causality (TLC) was introduced by Alur, Penczek, and Peled in [1]. It is basically a linear time temporal logic interpreted over Mazurkiewicz traces which allows quantification over causal chains. Through this device one can directly formulate causality properties of distributed systems. In this paper we consider an extension of TLC by strengthening the chain quantification ...

Cartographic Extensions to OGC Web Map Services - Specifications for a Map and Diagram Service

CONTACT: A Multimodal Corpus for Studying Expressive Styles and Informing the Design of Individualized Virtual Narrators

Virtual agents used in storytelling applications should display consistent and natural multimodal expressions of emotions. In this paper, we describe the method that we defined to endow virtual narrators with individual gesture profiles. We explain how we collected a corpus of gestural behaviors displayed by different actors telling the same story. Videos were annotated both manually and automa...

Design expressive behaviors for robotic puppet

This paper describes the generation of expressive gestures on a robotic puppet controlled using behaviorbased method. Recent findings on biological motion mechanisms provide an inspiring model for controlling high dimensional robot with motor primitives. The modular features of primitives make them the building blocks for constructing complex behaviors. The inborn similarity between gesture and...

Game Design for Expressive Mobile Music

This article presents observations and strategies for designing gamelike elements for expressive mobile musical interactions. The designs of several popular commercial mobile music instruments are discussed and compared, along with the different ways they integrate musical information and game-like elements. In particular, issues of designing goals, rules, and interactions are balanced with art...